A Case Study for the ERIL Project
نویسنده
چکیده
We examine an abstraction of a real communications problem in order to identify some of the problems involved in satisfying the veriication requirements of such a system. The example is described using LOTOSSISO88], and the RRL term rewriting systemmKZ87] is used to carry out the proofs.
منابع مشابه
A MULTI-OBJECTIVE OPTIMIZATION MODEL FOR PROJECT PORTFOLIO SELECTION CONSIDERING AGGREGATE COMPLEXITY: A CASE STUDY
Existing project selection models do not consider the complexity of projects as a selection criterion, while their complexity may prolong the project duration and even result in its failure. In addition, existing models cannot formulate the aggregate complexity of the selected projects. The aggregated complexity is not always equal to summation of complexity of projects because of possible syne...
متن کاملA note on‘‘A case study approach for developing a project performance evaluation system”
The major aim of this research is benchmarking Honeywell Federal Manufacturing &Technologies projects using Data Envelopment Analysis (DEA) technique and to compare the results with that of published recently in Qing Cao, James J. Hoffman Qing Cao, James J. Hoffman. (2011). A case study approach for developing a project performance evaluation system. International Journal of Project Managem...
متن کاملProject scheduling optimization for contractor’s Net present value maximization using meta-heuristic algorithms: A case study
Today's competitive conditions have caused the projects to be carried out in the least possible time with limited resources. Therefore, managing and scheduling a project is a necessity for the project. The timing of a project is to specify a sequence of times for a series of related activities. According to their priority and their latency, so that between the time the project is completed and ...
متن کاملAn optimal model for Project Risk Response Portfolio Selection (P2RPS) (Case study: Research institute of petroleum industry)
In the real world, risk and uncertainty are two natural properties in the implementation of Mega projects. Most projects fail to achieve the pre-determined objectives due to uncertainty. A linear integer programming optimization model was used in this work to solve a problem in order to choose the most appropriate risk responses for the project risks. A mathematical model, in which work structu...
متن کاملInformation Technology for Project Cost Management (Case study: Soufian Cement Co, Iran)
In today's competitive world, reduction of production costs has become one of the corporates priorities. Survival triangle (cost, quality and time) is the solution that helps companies focus on these three dimensions and have the ability to compete with other companies. Cost management is the first step in this way that providing solutions and advice to managers who need help to have a precise ...
متن کامل